irreducible correspondence

不可约对应